Integrand size = 28, antiderivative size = 879 \[ \int \frac {\left (a+b \log \left (c x^n\right )\right )^3 \log \left (d \left (e+f x^2\right )^m\right )}{x^2} \, dx=\frac {12 b^3 \sqrt {f} m n^3 \arctan \left (\frac {\sqrt {f} x}{\sqrt {e}}\right )}{\sqrt {e}}+\frac {12 b^2 \sqrt {f} m n^2 \arctan \left (\frac {\sqrt {f} x}{\sqrt {e}}\right ) \left (a+b \log \left (c x^n\right )\right )}{\sqrt {e}}+\frac {3 b \sqrt {f} m n \left (a+b \log \left (c x^n\right )\right )^2 \log \left (1-\frac {\sqrt {f} x}{\sqrt {-e}}\right )}{\sqrt {-e}}+\frac {\sqrt {f} m \left (a+b \log \left (c x^n\right )\right )^3 \log \left (1-\frac {\sqrt {f} x}{\sqrt {-e}}\right )}{\sqrt {-e}}-\frac {3 b \sqrt {f} m n \left (a+b \log \left (c x^n\right )\right )^2 \log \left (1+\frac {\sqrt {f} x}{\sqrt {-e}}\right )}{\sqrt {-e}}-\frac {\sqrt {f} m \left (a+b \log \left (c x^n\right )\right )^3 \log \left (1+\frac {\sqrt {f} x}{\sqrt {-e}}\right )}{\sqrt {-e}}-\frac {6 b^3 n^3 \log \left (d \left (e+f x^2\right )^m\right )}{x}-\frac {6 b^2 n^2 \left (a+b \log \left (c x^n\right )\right ) \log \left (d \left (e+f x^2\right )^m\right )}{x}-\frac {3 b n \left (a+b \log \left (c x^n\right )\right )^2 \log \left (d \left (e+f x^2\right )^m\right )}{x}-\frac {\left (a+b \log \left (c x^n\right )\right )^3 \log \left (d \left (e+f x^2\right )^m\right )}{x}-\frac {6 b^2 \sqrt {f} m n^2 \left (a+b \log \left (c x^n\right )\right ) \operatorname {PolyLog}\left (2,-\frac {\sqrt {f} x}{\sqrt {-e}}\right )}{\sqrt {-e}}-\frac {3 b \sqrt {f} m n \left (a+b \log \left (c x^n\right )\right )^2 \operatorname {PolyLog}\left (2,-\frac {\sqrt {f} x}{\sqrt {-e}}\right )}{\sqrt {-e}}+\frac {6 b^2 \sqrt {f} m n^2 \left (a+b \log \left (c x^n\right )\right ) \operatorname {PolyLog}\left (2,\frac {\sqrt {f} x}{\sqrt {-e}}\right )}{\sqrt {-e}}+\frac {3 b \sqrt {f} m n \left (a+b \log \left (c x^n\right )\right )^2 \operatorname {PolyLog}\left (2,\frac {\sqrt {f} x}{\sqrt {-e}}\right )}{\sqrt {-e}}-\frac {6 i b^3 \sqrt {f} m n^3 \operatorname {PolyLog}\left (2,-\frac {i \sqrt {f} x}{\sqrt {e}}\right )}{\sqrt {e}}+\frac {6 i b^3 \sqrt {f} m n^3 \operatorname {PolyLog}\left (2,\frac {i \sqrt {f} x}{\sqrt {e}}\right )}{\sqrt {e}}+\frac {6 b^3 \sqrt {f} m n^3 \operatorname {PolyLog}\left (3,-\frac {\sqrt {f} x}{\sqrt {-e}}\right )}{\sqrt {-e}}+\frac {6 b^2 \sqrt {f} m n^2 \left (a+b \log \left (c x^n\right )\right ) \operatorname {PolyLog}\left (3,-\frac {\sqrt {f} x}{\sqrt {-e}}\right )}{\sqrt {-e}}-\frac {6 b^3 \sqrt {f} m n^3 \operatorname {PolyLog}\left (3,\frac {\sqrt {f} x}{\sqrt {-e}}\right )}{\sqrt {-e}}-\frac {6 b^2 \sqrt {f} m n^2 \left (a+b \log \left (c x^n\right )\right ) \operatorname {PolyLog}\left (3,\frac {\sqrt {f} x}{\sqrt {-e}}\right )}{\sqrt {-e}}-\frac {6 b^3 \sqrt {f} m n^3 \operatorname {PolyLog}\left (4,-\frac {\sqrt {f} x}{\sqrt {-e}}\right )}{\sqrt {-e}}+\frac {6 b^3 \sqrt {f} m n^3 \operatorname {PolyLog}\left (4,\frac {\sqrt {f} x}{\sqrt {-e}}\right )}{\sqrt {-e}} \]
-6*b^3*n^3*ln(d*(f*x^2+e)^m)/x-6*b^2*n^2*(a+b*ln(c*x^n))*ln(d*(f*x^2+e)^m) /x-3*b*n*(a+b*ln(c*x^n))^2*ln(d*(f*x^2+e)^m)/x-(a+b*ln(c*x^n))^3*ln(d*(f*x ^2+e)^m)/x+3*b*m*n*(a+b*ln(c*x^n))^2*ln(1-x*f^(1/2)/(-e)^(1/2))*f^(1/2)/(- e)^(1/2)+m*(a+b*ln(c*x^n))^3*ln(1-x*f^(1/2)/(-e)^(1/2))*f^(1/2)/(-e)^(1/2) -3*b*m*n*(a+b*ln(c*x^n))^2*ln(1+x*f^(1/2)/(-e)^(1/2))*f^(1/2)/(-e)^(1/2)-m *(a+b*ln(c*x^n))^3*ln(1+x*f^(1/2)/(-e)^(1/2))*f^(1/2)/(-e)^(1/2)-6*b^2*m*n ^2*(a+b*ln(c*x^n))*polylog(2,-x*f^(1/2)/(-e)^(1/2))*f^(1/2)/(-e)^(1/2)-3*b *m*n*(a+b*ln(c*x^n))^2*polylog(2,-x*f^(1/2)/(-e)^(1/2))*f^(1/2)/(-e)^(1/2) +6*b^2*m*n^2*(a+b*ln(c*x^n))*polylog(2,x*f^(1/2)/(-e)^(1/2))*f^(1/2)/(-e)^ (1/2)+3*b*m*n*(a+b*ln(c*x^n))^2*polylog(2,x*f^(1/2)/(-e)^(1/2))*f^(1/2)/(- e)^(1/2)+6*b^3*m*n^3*polylog(3,-x*f^(1/2)/(-e)^(1/2))*f^(1/2)/(-e)^(1/2)+6 *b^2*m*n^2*(a+b*ln(c*x^n))*polylog(3,-x*f^(1/2)/(-e)^(1/2))*f^(1/2)/(-e)^( 1/2)-6*b^3*m*n^3*polylog(3,x*f^(1/2)/(-e)^(1/2))*f^(1/2)/(-e)^(1/2)-6*b^2* m*n^2*(a+b*ln(c*x^n))*polylog(3,x*f^(1/2)/(-e)^(1/2))*f^(1/2)/(-e)^(1/2)-6 *b^3*m*n^3*polylog(4,-x*f^(1/2)/(-e)^(1/2))*f^(1/2)/(-e)^(1/2)+6*b^3*m*n^3 *polylog(4,x*f^(1/2)/(-e)^(1/2))*f^(1/2)/(-e)^(1/2)+12*b^3*m*n^3*arctan(x* f^(1/2)/e^(1/2))*f^(1/2)/e^(1/2)+12*b^2*m*n^2*arctan(x*f^(1/2)/e^(1/2))*(a +b*ln(c*x^n))*f^(1/2)/e^(1/2)-6*I*b^3*m*n^3*polylog(2,-I*x*f^(1/2)/e^(1/2) )*f^(1/2)/e^(1/2)+6*I*b^3*m*n^3*polylog(2,I*x*f^(1/2)/e^(1/2))*f^(1/2)/e^( 1/2)
Both result and optimal contain complex but leaf count is larger than twice the leaf count of optimal. \(2166\) vs. \(2(879)=1758\).
Time = 0.46 (sec) , antiderivative size = 2166, normalized size of antiderivative = 2.46 \[ \int \frac {\left (a+b \log \left (c x^n\right )\right )^3 \log \left (d \left (e+f x^2\right )^m\right )}{x^2} \, dx=\text {Result too large to show} \]
(2*a^3*Sqrt[f]*m*x*ArcTan[(Sqrt[f]*x)/Sqrt[e]] + 6*a^2*b*Sqrt[f]*m*n*x*Arc Tan[(Sqrt[f]*x)/Sqrt[e]] + 12*a*b^2*Sqrt[f]*m*n^2*x*ArcTan[(Sqrt[f]*x)/Sqr t[e]] + 12*b^3*Sqrt[f]*m*n^3*x*ArcTan[(Sqrt[f]*x)/Sqrt[e]] - 6*a^2*b*Sqrt[ f]*m*n*x*ArcTan[(Sqrt[f]*x)/Sqrt[e]]*Log[x] - 12*a*b^2*Sqrt[f]*m*n^2*x*Arc Tan[(Sqrt[f]*x)/Sqrt[e]]*Log[x] - 12*b^3*Sqrt[f]*m*n^3*x*ArcTan[(Sqrt[f]*x )/Sqrt[e]]*Log[x] + 6*a*b^2*Sqrt[f]*m*n^2*x*ArcTan[(Sqrt[f]*x)/Sqrt[e]]*Lo g[x]^2 + 6*b^3*Sqrt[f]*m*n^3*x*ArcTan[(Sqrt[f]*x)/Sqrt[e]]*Log[x]^2 - 2*b^ 3*Sqrt[f]*m*n^3*x*ArcTan[(Sqrt[f]*x)/Sqrt[e]]*Log[x]^3 + 6*a^2*b*Sqrt[f]*m *x*ArcTan[(Sqrt[f]*x)/Sqrt[e]]*Log[c*x^n] + 12*a*b^2*Sqrt[f]*m*n*x*ArcTan[ (Sqrt[f]*x)/Sqrt[e]]*Log[c*x^n] + 12*b^3*Sqrt[f]*m*n^2*x*ArcTan[(Sqrt[f]*x )/Sqrt[e]]*Log[c*x^n] - 12*a*b^2*Sqrt[f]*m*n*x*ArcTan[(Sqrt[f]*x)/Sqrt[e]] *Log[x]*Log[c*x^n] - 12*b^3*Sqrt[f]*m*n^2*x*ArcTan[(Sqrt[f]*x)/Sqrt[e]]*Lo g[x]*Log[c*x^n] + 6*b^3*Sqrt[f]*m*n^2*x*ArcTan[(Sqrt[f]*x)/Sqrt[e]]*Log[x] ^2*Log[c*x^n] + 6*a*b^2*Sqrt[f]*m*x*ArcTan[(Sqrt[f]*x)/Sqrt[e]]*Log[c*x^n] ^2 + 6*b^3*Sqrt[f]*m*n*x*ArcTan[(Sqrt[f]*x)/Sqrt[e]]*Log[c*x^n]^2 - 6*b^3* Sqrt[f]*m*n*x*ArcTan[(Sqrt[f]*x)/Sqrt[e]]*Log[x]*Log[c*x^n]^2 + 2*b^3*Sqrt [f]*m*x*ArcTan[(Sqrt[f]*x)/Sqrt[e]]*Log[c*x^n]^3 + (3*I)*a^2*b*Sqrt[f]*m*n *x*Log[x]*Log[1 - (I*Sqrt[f]*x)/Sqrt[e]] + (6*I)*a*b^2*Sqrt[f]*m*n^2*x*Log [x]*Log[1 - (I*Sqrt[f]*x)/Sqrt[e]] + (6*I)*b^3*Sqrt[f]*m*n^3*x*Log[x]*Log[ 1 - (I*Sqrt[f]*x)/Sqrt[e]] - (3*I)*a*b^2*Sqrt[f]*m*n^2*x*Log[x]^2*Log[1...
Time = 1.19 (sec) , antiderivative size = 879, normalized size of antiderivative = 1.00, number of steps used = 2, number of rules used = 2, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.071, Rules used = {2825, 2009}
Below are the steps used by Rubi to obtain the solution. The rule number used for the transformation is given above next to the arrow. The rules definitions used are listed below.
\(\displaystyle \int \frac {\left (a+b \log \left (c x^n\right )\right )^3 \log \left (d \left (e+f x^2\right )^m\right )}{x^2} \, dx\) |
\(\Big \downarrow \) 2825 |
\(\displaystyle -2 f m \int \left (-\frac {6 b^3 n^3}{f x^2+e}-\frac {6 b^2 \left (a+b \log \left (c x^n\right )\right ) n^2}{f x^2+e}-\frac {3 b \left (a+b \log \left (c x^n\right )\right )^2 n}{f x^2+e}-\frac {\left (a+b \log \left (c x^n\right )\right )^3}{f x^2+e}\right )dx-\frac {6 b^2 n^2 \left (a+b \log \left (c x^n\right )\right ) \log \left (d \left (e+f x^2\right )^m\right )}{x}-\frac {3 b n \left (a+b \log \left (c x^n\right )\right )^2 \log \left (d \left (e+f x^2\right )^m\right )}{x}-\frac {\left (a+b \log \left (c x^n\right )\right )^3 \log \left (d \left (e+f x^2\right )^m\right )}{x}-\frac {6 b^3 n^3 \log \left (d \left (e+f x^2\right )^m\right )}{x}\) |
\(\Big \downarrow \) 2009 |
\(\displaystyle -\frac {6 b^3 \log \left (d \left (f x^2+e\right )^m\right ) n^3}{x}-\frac {6 b^2 \left (a+b \log \left (c x^n\right )\right ) \log \left (d \left (f x^2+e\right )^m\right ) n^2}{x}-\frac {3 b \left (a+b \log \left (c x^n\right )\right )^2 \log \left (d \left (f x^2+e\right )^m\right ) n}{x}-\frac {\left (a+b \log \left (c x^n\right )\right )^3 \log \left (d \left (f x^2+e\right )^m\right )}{x}-2 f m \left (-\frac {6 b^3 \arctan \left (\frac {\sqrt {f} x}{\sqrt {e}}\right ) n^3}{\sqrt {e} \sqrt {f}}+\frac {3 i b^3 \operatorname {PolyLog}\left (2,-\frac {i \sqrt {f} x}{\sqrt {e}}\right ) n^3}{\sqrt {e} \sqrt {f}}-\frac {3 i b^3 \operatorname {PolyLog}\left (2,\frac {i \sqrt {f} x}{\sqrt {e}}\right ) n^3}{\sqrt {e} \sqrt {f}}-\frac {3 b^3 \operatorname {PolyLog}\left (3,-\frac {\sqrt {f} x}{\sqrt {-e}}\right ) n^3}{\sqrt {-e} \sqrt {f}}+\frac {3 b^3 \operatorname {PolyLog}\left (3,\frac {\sqrt {f} x}{\sqrt {-e}}\right ) n^3}{\sqrt {-e} \sqrt {f}}+\frac {3 b^3 \operatorname {PolyLog}\left (4,-\frac {\sqrt {f} x}{\sqrt {-e}}\right ) n^3}{\sqrt {-e} \sqrt {f}}-\frac {3 b^3 \operatorname {PolyLog}\left (4,\frac {\sqrt {f} x}{\sqrt {-e}}\right ) n^3}{\sqrt {-e} \sqrt {f}}-\frac {6 b^2 \arctan \left (\frac {\sqrt {f} x}{\sqrt {e}}\right ) \left (a+b \log \left (c x^n\right )\right ) n^2}{\sqrt {e} \sqrt {f}}+\frac {3 b^2 \left (a+b \log \left (c x^n\right )\right ) \operatorname {PolyLog}\left (2,-\frac {\sqrt {f} x}{\sqrt {-e}}\right ) n^2}{\sqrt {-e} \sqrt {f}}-\frac {3 b^2 \left (a+b \log \left (c x^n\right )\right ) \operatorname {PolyLog}\left (2,\frac {\sqrt {f} x}{\sqrt {-e}}\right ) n^2}{\sqrt {-e} \sqrt {f}}-\frac {3 b^2 \left (a+b \log \left (c x^n\right )\right ) \operatorname {PolyLog}\left (3,-\frac {\sqrt {f} x}{\sqrt {-e}}\right ) n^2}{\sqrt {-e} \sqrt {f}}+\frac {3 b^2 \left (a+b \log \left (c x^n\right )\right ) \operatorname {PolyLog}\left (3,\frac {\sqrt {f} x}{\sqrt {-e}}\right ) n^2}{\sqrt {-e} \sqrt {f}}-\frac {3 b \left (a+b \log \left (c x^n\right )\right )^2 \log \left (1-\frac {\sqrt {f} x}{\sqrt {-e}}\right ) n}{2 \sqrt {-e} \sqrt {f}}+\frac {3 b \left (a+b \log \left (c x^n\right )\right )^2 \log \left (\frac {\sqrt {f} x}{\sqrt {-e}}+1\right ) n}{2 \sqrt {-e} \sqrt {f}}+\frac {3 b \left (a+b \log \left (c x^n\right )\right )^2 \operatorname {PolyLog}\left (2,-\frac {\sqrt {f} x}{\sqrt {-e}}\right ) n}{2 \sqrt {-e} \sqrt {f}}-\frac {3 b \left (a+b \log \left (c x^n\right )\right )^2 \operatorname {PolyLog}\left (2,\frac {\sqrt {f} x}{\sqrt {-e}}\right ) n}{2 \sqrt {-e} \sqrt {f}}-\frac {\left (a+b \log \left (c x^n\right )\right )^3 \log \left (1-\frac {\sqrt {f} x}{\sqrt {-e}}\right )}{2 \sqrt {-e} \sqrt {f}}+\frac {\left (a+b \log \left (c x^n\right )\right )^3 \log \left (\frac {\sqrt {f} x}{\sqrt {-e}}+1\right )}{2 \sqrt {-e} \sqrt {f}}\right )\) |
(-6*b^3*n^3*Log[d*(e + f*x^2)^m])/x - (6*b^2*n^2*(a + b*Log[c*x^n])*Log[d* (e + f*x^2)^m])/x - (3*b*n*(a + b*Log[c*x^n])^2*Log[d*(e + f*x^2)^m])/x - ((a + b*Log[c*x^n])^3*Log[d*(e + f*x^2)^m])/x - 2*f*m*((-6*b^3*n^3*ArcTan[ (Sqrt[f]*x)/Sqrt[e]])/(Sqrt[e]*Sqrt[f]) - (6*b^2*n^2*ArcTan[(Sqrt[f]*x)/Sq rt[e]]*(a + b*Log[c*x^n]))/(Sqrt[e]*Sqrt[f]) - (3*b*n*(a + b*Log[c*x^n])^2 *Log[1 - (Sqrt[f]*x)/Sqrt[-e]])/(2*Sqrt[-e]*Sqrt[f]) - ((a + b*Log[c*x^n]) ^3*Log[1 - (Sqrt[f]*x)/Sqrt[-e]])/(2*Sqrt[-e]*Sqrt[f]) + (3*b*n*(a + b*Log [c*x^n])^2*Log[1 + (Sqrt[f]*x)/Sqrt[-e]])/(2*Sqrt[-e]*Sqrt[f]) + ((a + b*L og[c*x^n])^3*Log[1 + (Sqrt[f]*x)/Sqrt[-e]])/(2*Sqrt[-e]*Sqrt[f]) + (3*b^2* n^2*(a + b*Log[c*x^n])*PolyLog[2, -((Sqrt[f]*x)/Sqrt[-e])])/(Sqrt[-e]*Sqrt [f]) + (3*b*n*(a + b*Log[c*x^n])^2*PolyLog[2, -((Sqrt[f]*x)/Sqrt[-e])])/(2 *Sqrt[-e]*Sqrt[f]) - (3*b^2*n^2*(a + b*Log[c*x^n])*PolyLog[2, (Sqrt[f]*x)/ Sqrt[-e]])/(Sqrt[-e]*Sqrt[f]) - (3*b*n*(a + b*Log[c*x^n])^2*PolyLog[2, (Sq rt[f]*x)/Sqrt[-e]])/(2*Sqrt[-e]*Sqrt[f]) + ((3*I)*b^3*n^3*PolyLog[2, ((-I) *Sqrt[f]*x)/Sqrt[e]])/(Sqrt[e]*Sqrt[f]) - ((3*I)*b^3*n^3*PolyLog[2, (I*Sqr t[f]*x)/Sqrt[e]])/(Sqrt[e]*Sqrt[f]) - (3*b^3*n^3*PolyLog[3, -((Sqrt[f]*x)/ Sqrt[-e])])/(Sqrt[-e]*Sqrt[f]) - (3*b^2*n^2*(a + b*Log[c*x^n])*PolyLog[3, -((Sqrt[f]*x)/Sqrt[-e])])/(Sqrt[-e]*Sqrt[f]) + (3*b^3*n^3*PolyLog[3, (Sqrt [f]*x)/Sqrt[-e]])/(Sqrt[-e]*Sqrt[f]) + (3*b^2*n^2*(a + b*Log[c*x^n])*PolyL og[3, (Sqrt[f]*x)/Sqrt[-e]])/(Sqrt[-e]*Sqrt[f]) + (3*b^3*n^3*PolyLog[4,...
3.2.13.3.1 Defintions of rubi rules used
Int[Log[(d_.)*((e_) + (f_.)*(x_)^(m_.))^(r_.)]*((a_.) + Log[(c_.)*(x_)^(n_. )]*(b_.))^(p_.)*((g_.)*(x_))^(q_.), x_Symbol] :> With[{u = IntHide[(g*x)^q* (a + b*Log[c*x^n])^p, x]}, Simp[Log[d*(e + f*x^m)^r] u, x] - Simp[f*m*r Int[x^(m - 1)/(e + f*x^m) u, x], x]] /; FreeQ[{a, b, c, d, e, f, g, r, m , n, q}, x] && IGtQ[p, 0] && RationalQ[m] && RationalQ[q]
\[\int \frac {{\left (a +b \ln \left (c \,x^{n}\right )\right )}^{3} \ln \left (d \left (f \,x^{2}+e \right )^{m}\right )}{x^{2}}d x\]
\[ \int \frac {\left (a+b \log \left (c x^n\right )\right )^3 \log \left (d \left (e+f x^2\right )^m\right )}{x^2} \, dx=\int { \frac {{\left (b \log \left (c x^{n}\right ) + a\right )}^{3} \log \left ({\left (f x^{2} + e\right )}^{m} d\right )}{x^{2}} \,d x } \]
integral((b^3*log(c*x^n)^3 + 3*a*b^2*log(c*x^n)^2 + 3*a^2*b*log(c*x^n) + a ^3)*log((f*x^2 + e)^m*d)/x^2, x)
Timed out. \[ \int \frac {\left (a+b \log \left (c x^n\right )\right )^3 \log \left (d \left (e+f x^2\right )^m\right )}{x^2} \, dx=\text {Timed out} \]
Exception generated. \[ \int \frac {\left (a+b \log \left (c x^n\right )\right )^3 \log \left (d \left (e+f x^2\right )^m\right )}{x^2} \, dx=\text {Exception raised: ValueError} \]
Exception raised: ValueError >> Computation failed since Maxima requested additional constraints; using the 'assume' command before evaluation *may* help (example of legal syntax is 'assume(e>0)', see `assume?` for more de tails)Is e
\[ \int \frac {\left (a+b \log \left (c x^n\right )\right )^3 \log \left (d \left (e+f x^2\right )^m\right )}{x^2} \, dx=\int { \frac {{\left (b \log \left (c x^{n}\right ) + a\right )}^{3} \log \left ({\left (f x^{2} + e\right )}^{m} d\right )}{x^{2}} \,d x } \]
Timed out. \[ \int \frac {\left (a+b \log \left (c x^n\right )\right )^3 \log \left (d \left (e+f x^2\right )^m\right )}{x^2} \, dx=\int \frac {\ln \left (d\,{\left (f\,x^2+e\right )}^m\right )\,{\left (a+b\,\ln \left (c\,x^n\right )\right )}^3}{x^2} \,d x \]